$\mathbb{B}$ $\in$ Type